Ontologies, semantic Web and health

Semantic Web & Ontologies

Closing Semantic Web Ontologies

In this paper, we present a novel formalism of hybrid MKNF knowledge bases, which allows us to seamlessly integrate an arbitrary decidable description logic with logic programming rules. We thus obtain a powerful hybrid formalism that combines the best features of both description logics, such as the ability to model taxonomic knowledge, and logic programming, such as the ability to perform non...

Visualizing and Simulating Semantic Web Services Ontologies

The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretable and extensible, opening up possibilities for simple services to be combined to build complex ones. The Semantic Web presents a new mechanism for users and software agents to discover, describe, invoke, compose and m...

Logic, Ontologies and Semantic Web Languages

In Artificial Intelligence, knowledge representation studies the formalisation of knowledge and its processing within machines. Techniques of automated reasoning allow a computer system to draw conclusions from knowledge represented in a machine-interpretable form. Recently, ontologies have evolved in computer science as computational artefacts to provide computer systems with a conceptual yet ...

Rules and Ontologies for the Semantic Web

Rules and ontologies play a key role in the layered architecture of the Semantic Web, as they are used to ascribe meaning to, and to reason about, data on the Web. While the Ontology Layer of the Semantic Web is quite developed, and the Web Ontology Language (OWL) is a W3C recommendation since a couple of years already, the rules layer is far less developed and an active area of research; a num...